Free shipping on all orders! No minimum purchase required.
The Correctness-by-Construction Approach to Programming
by Derrick G. Kourie, Bruce W. Watson
